221. Practical Electronic Reliability Engineering Getting the Job Done from Requirement Through Acceptance.
پدیدآورنده : Klion, Jerome.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
TK7870
.
K556
2014
222. Practical quantum computing for developers :
پدیدآورنده : Silva Vladimir.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum computing.,Big Data.,Mathematical Models of Cognitive Processes and Neural Networks.,Programming Languages, Compilers, Interpreters.,Python.,Quantum Computing.,Quantum computing.
رده :
QA76
.
889
.
S55
2018
223. Pragmatics, truth and underspecification :
پدیدآورنده : edited by Ken Turner, Laurence Horn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Pragmatics.,Semantics.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,Pragmatics.,Semantics.
رده :
P325
.
P637
2018
224. Problems and proofs in numbers and algebra
پدیدآورنده : /Richard S. Millman, Peter J. Shiue, Eric Brendan Kahn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra,Mathematical logic., Number theory.
رده :
QA152
.
P7M5
2015
225. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
226. Professional functional programming in C# :
پدیدآورنده : Oliver Sturm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C# (Computer program language),Functional programming (Computer science)
رده :
QA76
.
73
.
C154
S78
2011
227. Programmable controllers :
پدیدآورنده : L.A. Bryan, E.A. Bryan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programmable controllers.,Programmable controllers.
رده :
TJ223
.
P76
B795
1997
228. Proof Theory
پدیدآورنده : by Kurt Schütte.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.
229. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
230. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Proof theory
رده :
E-BOOK
231. Proof, logic, and conjecture :
پدیدآورنده : Robert S. Wolf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Number theory.,Set theory.
رده :
QA9
.
W748
1998
232. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
233. Psychoanalytic theory and clinical relevance :
پدیدآورنده : Louis S. Berger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Psychoanalysis-- Methodology.,Psychoanalysis-- Philosophy.,Psychotherapy.,Psychoanalytic Theory.,Psychoanalysis-- Methodology.,Psychoanalysis-- Philosophy.,PSYCHOLOGY / Movements / Psychoanalysis.,Psychotherapy.
رده :
RC506
234. Psychological jurisprudence :
پدیدآورنده : edited by Bruce A. Arrigo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Crime-- Psychological aspects.,Forensic psychology.,Insanity (Law),Aliénation mentale.,Criminalité-- Aspect psychologique.,Psychologie légale.,Crime-- Psychological aspects.,Forensic psychology.,Insanity (Law),LAW-- Essays.,LAW-- General Practice.,LAW-- Jurisprudence.,LAW-- Paralegals & Paralegalism.,LAW-- Practical Guides.,LAW-- Reference.
رده :
K2289
.
P79
2004eb
235. Reading, Writing, and Proving :
پدیدآورنده : by Ulrich Daepp, Pamela Gorkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
236. Reading, writing, and proving :
پدیدآورنده : Ulrich Daepp, Pamela Gorkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics-- Study and teaching (Higher)-- United States.,Technical writing-- Study and teaching (Higher)-- United States.,Mathematics-- Study and teaching (Higher),Technical writing-- Study and teaching (Higher),United States., 7
رده :
QA13
.
D34
2011
237. Real analysis and probability
پدیدآورنده : / R.M. Dudley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematical analysis,Functions of real variables,Probabilities
رده :
E-BOOK
238. Rebels with a Cause:
پدیدآورنده : Johnson, Chelsea Blake
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
239. Recent Advances in Applications of Computational and Fuzzy Mathematics /
پدیدآورنده : Snehashish Chakraverty, Sanjeewa Perera, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64
240. Recent developments and the new direction in soft-computing foundations and applications :
پدیدآورنده : edited by Lotfi A. Zadeh, Ronald R. Yager, Shahnaz N. Shahbazova, Marek Z. Reformat, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Soft computing, Congresses.,Artificial intelligence.,Automatic control engineering.,Computers-- Intelligence (AI) & Semantics.,Engineering: general.,Game theory.,Mathematics-- Game Theory.,Soft computing.,Technology & Engineering-- Automation.,Technology & Engineering-- General.
رده :
Q342
